Four-color problem